CIFASIS's Repositories

89 repositories

afl-fuzz
Non-official repository for lcamtuf's American Fuzzy Lop http://lcamtuf.coredump.cx/afl/
⭐ 1 🌐 Public
ApproxMVBB
Fast algorithms to compute an approximation of the minimal volume oriented bounding box of a point cloud in 3D.
⭐ 0 🌐 Public
basalt-mirror
No description
⭐ 0 🌐 Public
basalt-xr
No description
⭐ 10 🌐 Public
basalt_ros
No description
⭐ 1 🌐 Public
basalt_ros1
No description
⭐ 0 🌐 Public
bow_vocabularies
Bag of Words vocabularies for appearance-based Loop Closure algorithms
⭐ 0 🌐 Public
bug-report-scripts
No description
⭐ 1 🌐 Public
caffe-fast-rcnn
Caffe fork that supports Fast R-CNN
⭐ 0 🌐 Public
certificate
No description
⭐ 1 🌐 Public
curso-herramientas
Curso de Herramientas de Machine Learning para el Polo TecnolΓ³gico
⭐ 4 🌐 Public
dataset-processing
Tools to process the Weed removing robot dataset
⭐ 17 🌐 Public
Dengue
Proyecto de modelado del virus Dengue en la Argentina.
⭐ 0 🌐 Public
dense-sptam
Dense S-PTAM
⭐ 63 🌐 Public
distributed-sptam
Distributed S-PTAM
⭐ 10 🌐 Public
exploiting-gan-internal-capacity
Code for reproducing experiments in "Exploiting GAN Internal Capacity for High-Quality Reconstruction of Natural Images"
⭐ 16 🌐 Public
FLVIS
No description
⭐ 1 🌐 Public
g2o
g2o: A General Framework for Graph Optimization
⭐ 0 🌐 Public
ghc-cm
Prototype GHC with Class Morphisms
⭐ 4 🌐 Public
gnss-stereo-inertial-fusion
GNSS-Stereo-Inertial SLAM implementation that fuses GNSS, visual and inertial measurements using a tightly-coupled approach.
⭐ 60 🌐 Public
grotloc
Ground Truth for Loop Closure (GroTLoC)
⭐ 1 🌐 Public
haddock
Haskell Documentation Tool
⭐ 1 🌐 Public
hmm
hidden markov models in haskell
⭐ 0 🌐 Public
hogg
Haskell library and tools to manipulate the Ogg container format
⭐ 1 🌐 Public
honggfuzz
A general-purpose, easy-to-use fuzzer with interesting analysis options. Supports feedback-driven fuzzing based on code coverage
⭐ 0 🌐 Public
hs-asn1-encoding
No description
⭐ 0 🌐 Public
hs-certificate-x509
No description
⭐ 0 🌐 Public
Juicy.Pixels
Haskell library to load & save pictures
⭐ 1 🌐 Public
Kimera-VIO
No description
⭐ 0 🌐 Public
Kimera-VIO-ROS
No description
⭐ 1 🌐 Public
language-javascript
Parser for JavaScript, in Haskell
⭐ 0 🌐 Public
local-features-evaluation
Local features evaluation on Visual SLAM
⭐ 3 🌐 Public
ManFuzzer
Creates fuzzing inputs for command line programs using help options and man pages.
⭐ 3 🌐 Public
megadeth
MEga DErivation with Template Haskell
⭐ 8 🌐 Public
meta
A tiny metaprogramming library
⭐ 0 🌐 Public
modelicacc
Modelica C Compiler implemented in C++ to develop and test novel algorithms for large scale models.
⭐ 18 🌐 Public
msckf_vio
No description
⭐ 1 🌐 Public
neural-fuzzer
No description
⭐ 90 🌐 Public
nosy-newt
Nosy Newt is a simple concolic execution tool for exploring the input space of a binary executable program based in Triton
⭐ 62 🌐 Public
object-detection-sptam
Online Object Detection and Localization on Stereo Visual SLAM System
⭐ 27 🌐 Public
okvis
No description
⭐ 0 🌐 Public
okvis_ros
No description
⭐ 1 🌐 Public
opencv
Open Source Computer Vision Library
⭐ 0 🌐 Public
opencv_contrib
Repository for OpenCV's extra modules
⭐ 0 🌐 Public
ORB_SLAM3
No description
⭐ 2 🌐 Public
OS-fuzzing
Using Machine Learning to predict the outcome of a zzuf fuzzing campaign
⭐ 23 🌐 Public
pose_listener
No description
⭐ 1 🌐 Public
power-devs
PowerDEVS is an integrated tool for hybrid systems modeling and simulation based on the DEVS formalism.
⭐ 12 🌐 Public
powerdevs
No description
⭐ 0 🌐 Public
py-faster-rcnn
Faster R-CNN (Python implementation) -- see https://github.com/ShaoqingRen/faster_rcnn for the official MATLAB version
⭐ 0 🌐 Public
pylearn2
A Machine Learning library based on Theano
⭐ 3 🌐 Public
QF-explorer
No description
⭐ 0 🌐 Public
qss-solver
Modeling and simulation tool for continuous and hybrid systems.
⭐ 33 🌐 Public
Quadtree
A simple and modern C++ quadtree implementation
⭐ 0 🌐 Public
QuickFuzz
An experimental grammar fuzzer in Haskell using QuickCheck
⭐ 197 🌐 Public
r-vio
No description
⭐ 1 🌐 Public
radamsa
a general purpose fuzzer
⭐ 0 🌐 Public
rebvo
No description
⭐ 1 🌐 Public
ros-utils
ros-utils
⭐ 0 🌐 Public
rosariov2
Scripts and Tools to work with The Rosario Dataset v2
⭐ 43 🌐 Public
rovio
No description
⭐ 5 🌐 Public
RTIMULib2
9-dof, 10-dof and 11-dof IMU fusion library for Linux systems (development version)
⭐ 0 🌐 Public
sb-graph
Set Based Graph Library
⭐ 6 🌐 Public
sbg-partitioner
No description
⭐ 2 🌐 Public
slam_agricultural_evaluation
No description
⭐ 35 🌐 Public
splitting_gan
Code for Class-Splitting Generative Adversarial Networks
⭐ 32 🌐 Public
spp_estimation
Seed-per-pod estimation for plant breeding using deep learning
⭐ 5 🌐 Public
sptam
S-PTAM: Stereo Parallel Tracking and Mapping
⭐ 4 🌐 Public
stabilizing_fcs_mpc_application
No description
⭐ 0 🌐 Public
StereoLoopDetector
Code for the article "Addressing the challenges of loop detection in agricultural environments" published in the Journal of Field Robotics, 2024.
⭐ 6 🌐 Public
svo-2.0
No description
⭐ 2 🌐 Public
TabPFN-VOCS
Notebooks and data related to "On the use of TabPFN on mass spectrometry analysis of volatile organic compounds"
⭐ 0 🌐 Public
tar
Reading, writing and manipulating ".tar" archive files.
⭐ 0 🌐 Public
tara-stereo-camera
ROS2 driver for the e-consystems See3CAM_Stereo (Tara) camera
⭐ 1 🌐 Public
Theano
Optimizing GPU-meta-programming code generating array oriented optimizing math compiler in Python
⭐ 0 🌐 Public
ttasm
TTF Assembler
⭐ 2 🌐 Public
VDiscover
A tool to predict vulnerability discovery of binary only programs
⭐ 187 🌐 Public
vdiscover-workshop
No description
⭐ 2 🌐 Public
VINS-Fusion
No description
⭐ 1 🌐 Public
wavy
Github mirror of Wavy (https://bitbucket.org/robertmassaioli/wavy/)
⭐ 0 🌐 Public
weed_robot_description
No description
⭐ 0 🌐 Public
weed_robot_gazebo
No description
⭐ 0 🌐 Public
weed_robot_navigation
No description
⭐ 0 🌐 Public
weed_robot_simulation
No description
⭐ 3 🌐 Public
wganvo
WGANVO: Monocular Visual Odometry based on WGAN
⭐ 9 🌐 Public
word2vec
Modified version of Google's word2vec with improvements and useful additions
⭐ 1 🌐 Public
XGB_PTRMS
Extended evaluation of XGBoost on PTRMS food datasets
⭐ 0 🌐 Public
yjsvg_haskell
Fork of yjsvg to experiment in QuickFuzz
⭐ 0 🌐 Public
zzuf
Application fuzzer
⭐ 0 🌐 Public